1. Algorithms for synthesis and testing of asynchronous circuits
پدیدآورنده : Lavagno, Luciano
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Circuits - Testing , Electronic digital computers - Circuits - Mathematical models, Asynchronous circuits - Testing, Asynchronous circuits - Mathematical models
رده :
TK
7888
.
4
.
L38
2. EDA for IC implementation, circuit design, and process technology
پدیدآورنده : / edited by Louis Scheffer, Luciano Lavagno, Grant Martin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits--Computer-aided design,Integrated circuits--Design and construction
رده :
TK7874
.
E257
2006
3. EDA for IC system design, verification, and testing
پدیدآورنده : / edited by Louis Scheffer, Luciano Lavagno, Grant Martin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits--Computer-aided design,Integrated circuits--Verification--Data processing
رده :
TK7874
.
E26
2006
4. Electronic design automation for IC implementation, circuit design, and process technology
پدیدآورنده : / edited by Luciano Lavagno, Politecnico di Torino, Torino, Italy
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits--Computer-aided design,Integrated circuits--Design and construction,Manufacturing processes.
رده :
TK7874
.
E257
2016
5. Electronic design automation for IC implementation, circuit design, and process technology
پدیدآورنده : edited by Luciano Lavagno, Politecnico di Torino, Torino, Italy; Igor L. Markov, University of Michigan, Ann Arbor, Michigan, USA; Grant Martin, Cadence Design Systems, Inc., San Jose, California, USA; Louis K. Scheffer, Howard Hughes Medical Institute, Ashburn, Virginia, USA.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Integrated circuits-- Computer-aided design.,Integrated circuits-- Design and construction.,Manufacturing processes.
6. Electronic design automation for integrated cicuits handbook
پدیدآورنده : edited by Louis Scheffer, Luciano Lavagno, Grant Martin
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (تهران)
موضوع : Integrated circuits, Computer-aided des,Integrated circuits, Design and construct
7. Electronic design automation for integrated circuits handbook
پدیدآورنده : / edited by Louise Scheffer, Luciano Lavagno, and Grant Martin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Integrated circuits--Computer-aided design,Integrated circuits--Verification--Data processing,Integrated circuits--Design and construction
رده :
TK
,
7874
,.
E487
,
2006
8. Hardware-Software Co-Design of Embedded Systems
پدیدآورنده : by Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Claudio Passerone, Alberto Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki, Bassam Tabbara.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Computer-aided design.,Engineering.,Systems engineering.
9. Hardware design and Petri nets
پدیدآورنده : / edited by Alex Yakovlev, Luis Gomes, Luciano Lavagno
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Embedded computer systems -- Design and construction,Petri nets,Asynchronous circuits
رده :
TK
7895
.
E42H33
2000
10. Synthesis and Control of Discrete Event Systems
پدیدآورنده : edited by Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer-aided design.,Engineering.,Systems theory.
رده :
QA402
.
E358
2002
11. UML for real
پدیدآورنده : / edited by Luciano Lavagno, Grant Martin, Bran Selic
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Real-time data processing,Embedded computer systems -- Programming,UML (computer science)
رده :
QA
76
.
54
.
U45
2003
12. UML for real: design of embedded real -time systems
پدیدآورنده : / edited by Luciano Lavagno, Grant Martin, Bran Selic
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : داده‌پ‍ردازی ف‍وری,س‍ی‍س‍ت‍م‍ه‍ای کامپیوتری درون‍ه‌ای -- ب‍رن‍ام‍ه‌ن‍وی‍س‍ی,ی‍و. ام. ال (ک‍ام‍پ‍ی‍وت‍ر)
رده :
QA
۷۶
/
۵۴
/
ی
۹ ۱۳۸۲
